Dependent type - PDFSEARCH.IO - Document Search Engine

Dependent type
Results: 326

#	Item
71	ER-flow Application Description Template Name: TD UNI Type: workflow Application domain: Computational chemistry, quantum chemistry Add to Reading List Source URL: www.erflow.eu Language: English Time-dependent density functional theory Computing Chemistry UNICORE Disk formatting
72	ISSP Standard Background Variables Add to Reading List Source URL: www.gesis.org Language: English - Date: 2015-05-26 04:26:34 Variables Survey methodology Type theory Dependent and independent variables Questionnaire Swiss Centre of Expertise in the Social Sciences Mathematics Statistics Science
73	Cow’s Milk Consumption, HLA-DQB1 Genotype, and Type 1 Diabetes A Nested Case-Control Study of Siblings of Children With Diabetes Suvi M. Virtanen, Esa Läärä, Elina Hyppönen, Helena Reijonen, Leena Räsänen, Antti Add to Reading List Source URL: diabetes.diabetesjournals.org Language: English Anatomy Medicine Diabetes mellitus type 1 HLA-DQB1 Diabetes mellitus HLA-DQ Insulin-dependent diabetes mellitus Milk Human leukocyte antigen Diabetes Biology MHC Class II
74	Peter LeFanu Lumsdaine Institute for Advanced Study Beck–Chevalley conditions for dependent type theory Dependent Type Theory is a powerful and congenial basis for logical systems, but the study of its models is plague Add to Reading List Source URL: web.science.mq.edu.au Language: English Nicolas Bourbaki Algebraic structures Pullback Model theory Coherence theory of truth Mathematical logic Functor Structure Mathematics Algebra Claude Chevalley
75	V erified Computing in Homological Algebra A Journey Exploring the Power and Limits of Dependent Type Theory Arnaud Spiwack Add to Reading List Source URL: assert-false.net Language: English - Date: 2012-02-29 08:17:25 Poetry Jabberwocky Coq Thierry Coquand Vorpal sword Homological algebra Alice in Wonderland Nonce words Literature
76	Heavy-traffic analysis of the M/PH/1 discriminatory processor sharing queue with phase-dependent weights∗ I.M. Verloopa , U. Ayestab,c , R. Núñez-Queijaa,d CWI, Amsterdam, The Netherlands BCAM - Basque Center for App Add to Reading List Source URL: verloop.perso.enseeiht.fr Language: English - Date: 2011-10-08 11:48:43 Probability and statistics Markov models Operations research Network performance Queueing model Phase-type distribution Scheduling M/M/1 queue G–network Statistics Stochastic processes Queueing theory
77	Heavy-traffic analysis of the M/PH/1 discriminatory processor sharing queue with phase-dependent weights∗ I.M. Verloopa , U. Ayestab,c , R. Núñez-Queijaa,d CWI, Amsterdam, The Netherlands BCAM - Basque Center for App Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2012-01-01 05:01:25 Probability and statistics Markov models Operations research Network performance Queueing model Phase-type distribution Scheduling M/M/1 queue G–network Statistics Stochastic processes Queueing theory
78	Tutorial #7A: LC Segmentation with Ratings-based Conjoint Data This tutorial shows how to use the Latent GOLD Choice program when the scale type of the dependent variable corresponds to a Rating as opposed to a Choice or Add to Reading List Source URL: www.statisticalinnovations.com Language: English - Date: 2006-09-05 12:43:47 Economics Science Conjoint analysis Consumer behaviour Marketing Product management Choice modelling Scale Attribute Psychometrics Statistics Market research
79	SNAKE BITE QUICK REFERENCE GUIDE All patients are treated as if they are potentially envenomated until proven otherwise. This takes over 12 hours to evaluate. Determination of snake type is dependent upon the geographica Add to Reading List Source URL: kidshealthwa.com Language: English - Date: 2015-04-15 22:24:15 Wilderness medical emergencies Venomous snakes Venomous animals Medical emergencies Antivenom Snake venom Venom Snakebite Envenomation Medicine Biology Toxicology
80	Mining opportunities for unique inhabitants in dependent programs Gabriel Scherer, PhD student, Gallium (INRIA Paris-Rocquencourt) 1 Research Background Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2013-09-23 11:30:06 Type theory Functional languages Dependent type Type system Type inference Coq Programming language Agda Type safety Programming language theory Software engineering Computing

UPDATE